Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
821	The Millennium Edition Stanley Burris H. P. Sankappanavar A Course in Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 14:51:33 Algebraic logic Algebraic structures Universal algebra Boolean algebra Variety Subdirectly irreducible algebra Representation theory Model theory Stone duality Abstract algebra Mathematics Algebra
822	The Innovation Journal: The Public Sector Innovation Journal, Volume 13(3), 2008, article 12. Bios Theory of Innovation Héctor Sabelli, M.D., Ph. D. Chicago Center for Creative Development Abstract Add to Reading List Source URL: www.innovation.cc Language: English - Date: 2009-10-18 13:01:24 Philosophy of science Cybernetics Innovation Systems theory Logic Creativity Quantum logic Social innovation Chaos theory Science Physics Philosophy
823	Taming Complexity in Large-Scale System Projects Shimon Schocken Efi Arazi School of Computer Science IDC Herzliya September, 2011 ABSTRACT Add to Reading List Source URL: shimonschocken.com Language: English - Date: 2011-10-19 06:01:49 Hardware description language Logic design Technical communication Virtual machine ARM architecture Abstraction Computer Java MOS Technology SID Computing Electronics Programming language implementation
824	L. FLORIDI ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM ABSTRACT. The tripartite account of propositional, fallibilist knowledge that p as justified true belief can become adequate only if it can solve the Gettie Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:14 Analytic philosophers Epistemologists Philosophical logic Gettier problem Edmund Gettier Justified true belief Common knowledge Modal logic Intuition Philosophy Knowledge Epistemology
825	Chapter 1 Our Adversary: The Circuit Boolean (or switching) functions map each sequence of bits to a single bit 0 or 1. Bit 0 is usually interpreted as “false”, and bit 1 as “true”. The simplest of such Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2012-03-10 09:14:00 Boolean algebra Algebraic logic Boolean function Parity function FO Disjunctive normal form Canonical form Circuit complexity Monotonic function Mathematics Mathematical logic Abstract algebra
826	Type-Changing Program Transformations with Pattern Matching Joeri van Eekelen, Sean Leather and Johan Jeuring Utrecht University, , , Abstract We present a system for Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-06 07:04:24 Mathematics Pattern matching Lambda calculus Logic in computer science Orbifold Theoretical computer science Applied mathematics Models of computation
827	arXiv:cs.PLv1 7 SepCrocoPat 2.1 Introduction and Reference Manual Dirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2004-09-08 03:21:18 Elementary mathematics Abstract algebra Finitary relation Function First-order logic Binary relation Arity Transitive closure FO Mathematics Logic Mathematical logic
828	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
829	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
830	A Representation Theorem for Decisions about Causal Models Daniel Dewey Future of Humanity Institute Abstract. Given the likely large impact of artificial general intelligence, Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:10:55 Conditionals Causality Econometrics Regression analysis Model theory Structural equation modeling Constructible universe Substructure Counterfactual conditional Statistics Mathematics Mathematical logic

UPDATE